Accessible categories with a class of limits
نویسندگان
چکیده
In this paper we characterize those accessible V-categories that have limits of a specified class. We do by introducing the notion companion C for class weights Ψ, as collection special types colimit diagrams are compatible with Ψ. then Ψ-limits accessibly embedded and C-virtually reflective in presheaf V-category, C-models sketches. This allows us to recover standard theorems locally presentable, multipresentable, polypresentable categories instances same general framework. addition, our theorem covers case any weakly sound provides new perspective on presentable categories.
منابع مشابه
Limits in modified categories of interest
We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat objects that are both obtained by pullback diagrams with extra structures on certain arrows. These constructions unify many corresponding results for the cases of groups, commutative algebras and can also be adapted to ...
متن کاملA classification of accessible categories
For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a catego...
متن کاملFinal coalgebras in accessible categories
We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explicit construction of the final coalgebra in this case. On the other hand, there are interesting examples of final coalgebras beyond the realm of l.f.p...
متن کاملAccessible Categories and Homotopy Theory
Definition 1.1. A weak factorization system (L,R) in a category K consists of two classes L and R of morphisms of K such that (1) R = L , L = R and (2) any morphism h of K has a factorization h = gf with f ∈ L and g ∈ R. Definition 1.2. A model category is a complete and cocomplete category K together with three classes of morphisms F , C and W called fibrations, cofibrations and weak equivalen...
متن کاملCovers in finitely accessible categories
We show that in a finitely accessible additive category every class of objects closed under direct limits and pure epimorphic images is covering. In particular, the classes of flat objects in a locally finitely presented additive category and of absolutely pure objects in a locally coherent category are covering.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2024
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2023.107444